Journal of Symbolic Logic - PDFSEARCH.IO - Document Search Engine

Journal of Symbolic Logic
Results: 24

#	Item
11	FIFTY YEARS OF THE SPECTRUM PROBLEM: SURVEY AND NEW RESULTS A. DURAND, N. D. JONES, J. A. MAKOWSKY, AND M. MORE Abstract. In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a chara Add to Reading List Source URL: www.diku.dk Language: English
12	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV Add to Reading List Source URL: www.mi.ras.ru Language: English - Date: 2007-09-07 07:05:56
13	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
14	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PDL WITH INTERSECTION AND CONVERSE: SATISFIABILITY AND INFINITE-STATE MODEL CHECKING Add to Reading List Source URL: www.informatik.uni-leipzig.de Language: English - Date: 2008-01-18 08:51:04 Mathematics Μ operator Symbol Well-formed formula Boolean satisfiability problem Model theory Linear temporal logic Theoretical computer science Logic Metalogic
15	Journal of Artificial Intelligence Research[removed]Submitted 10/05; published[removed]Learning Symbolic Models of Stochastic Domains Hanna M. Pasula Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-03-08 12:08:27 Model theory Functions and mappings Predicate logic Formal languages First-order logic Function Interpretation FO Causality Mathematical logic Logic Mathematics
16	Journal of Logic and Computation Advance Access published February 20, 2009 Speculative Image Computation for Distributed Symbolic Reachability Analysis MING-YING CHUNG, Verification Group, Synopsys Inc. Mountain View, Add to Reading List Source URL: dad.ethanchung.com Language: English - Date: 2009-02-23 21:54:36 Petri net Computer cluster Computing Concurrency Diagrams
17	Kernel Contraction Author(s): Sven Ove Hansson Reviewed work(s): Source: The Journal of Symbolic Logic, Vol. 59, No. 3 (Sep., 1994), pp[removed]Published by: Association for Symbolic Logic Stable URL: http://www.jstor.o Add to Reading List Source URL: all4da.googlecode.com Language: English - Date: 2012-06-14 16:08:38 Mathematics Contraction Edge contraction Sheaf Poisson bracket Tensor contraction Operator theory Mathematical analysis Theoretical physics
18	The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 RANDOMNESS, LOWNESS AND DEGREES GEORGE BARMPALIAS, ANDREW E. M. LEWIS, AND MARIYA SOSKOVA Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2010-09-03 11:30:51 Computability Applied mathematics Mathematics Computer science Computability theory Algorithmically random sequence Turing reduction
19	TBB JOURNAL OF SYMBOLIC LOGIC Add to Reading List Source URL: fitelson.org Language: English - Date: 2008-05-21 14:09:51 Structure Ring Inequality Mathematics Paradoxes Raven paradox
20	On Notation for Ordinal Numbers Author(s): S. C. Kleene Source: The Journal of Symbolic Logic, Vol. 3, No. 4, Including an Update to A Bibliography Add to Reading List Source URL: www.thatmarcusfamily.org Language: English - Date: 2010-06-14 13:05:17 Mathematical logic JSTOR Academic publishing Publishing Academia Journal of Symbolic Logic

UPDATE